Inlnk(i)(l) == destination(l) = i 

latex

---

clarification:

Inlnk(i)(l) == destination(l) = i  Id 

latex

Definitions	x.A(x), s = t, Id, destination(l)
FDL editor aliases	d-I